$\forall$$A$:Realizer, $i$, $x$:Id, $T$:Type, $L$:(Knd List).
\\[0ex]R{-}Feasible($A$) $\Rightarrow$ ($\neg$($\uparrow$$x$ $\in$ dom(R{-}state($A$;$i$)))) $\Rightarrow$ Rframe($i$;$T$;$x$;$L$) $\parallel$ $A$